Статья

Название статьи

ДОСТОИНСТВО ФОРМАЛЬНОГО ЯЗЫКА, ОСНОВАННОГО НА КОНЦЕПЦИИ НЕДЕТЕРМИНИЗМА, ПРИ СТРУКТУРНОЙ РЕАЛИЗАЦИИ ПАРАЛЛЕЛЬНЫХ СИСТЕМ ЛОГИЧЕСКОГО
УПРАВЛЕНИЯ ПРОЦЕССАМИ И РЕСУРСАМИ 

Авторы

Вашкевич Николай Петрович, доктор технических наук, профессор, кафедра вычислительной техники, Пензенский государственный университет, vt@alice.pnzgu.ru
Бикташев Равиль Айнулович, кандидат технических наук, доцент, кафедра вычислительных машин и систем, Пензенская государственная технологическая академия, bra559620@sura.ru 

Индекс УДК

50.03.03;50.09.47 

Аннотация

Рассматриваются два подхода к решению поставленной задачи, которые базируются на использовании результатов детерминизации исходного управляющего алгоритма и его параллельно-последовательной декомпозиции на подмножества несовместимых и совместимых частных событий, реализуемых в управляющем алгоритме. По результатам такой декомпозиции управляющий алгоритм реализуется или на основе параллельной распределенной системы логического управления, или на основе одного микропрограммного автомата с параллельным выполнением микроопераций 

Ключевые слова

недетерминированные автоматы, алгоритмы логического управления, параллельная декомпозиция, распределенные системы, нанокоманды 

 

 Скачать статью в формате PDF

Список литературы

1. Вашкевич, Н. П. Синтез микропрограммных управляющих автоматов : учебное пособие / Н. П. Вашкевич. – Пенза : Изд-во Пенз. политехн. ин-та, 1990. – 115 с.
2. Вашкевич, Н. П. Недетерминированные автоматы и их использование для синтеза систем управления : учебное пособие / Н. П. Вашкевич, С. Н. Вашкевич. – Пенза : Изд-во Пенз. гос. техн. ун-та, 1996. – 88 с.
3. Зубков, В. А. Алгоритм синтеза цифровых автоматов Мура с использованием языка исчисления предикатов / В. А. Зубков, Н. П. Вашкевич // Вычислительная техника: ученые записки. – Пенза : Изд-во Пенз. политехн. ин-та, 1969. – Вып. 3. – С. 25–36.
4. Вашкевич, Н. П. Достоинства формального языка, основанного на концепции недетерминизма, для функционального описания и преобразования алгоритмов логического управления процессами и ресурсами в параллельных системах обработки информации / Н. П. Вашкевич, Р. А. Бикташев // Телекоммуникации. – 2011. – № 1. – С. 18–26.
5. Вашкевич, Н. П. Об одном способе синтеза цифровых автоматов по граф-схеме алгоритма с параллельными ветвями / Н. П. Вашкевич // Вычислительная техника : межвуз. сб. науч. тр. – Вып. 1, 2. – Пенза : Изд-во Пенз. политехн. ин-та, 1973. – С. 49–57.
6. Вашкевич, Н. П. Параллельная декомпозиция алгоритмов управления вычислительными и технологическими процессами / Н. П. Вашкевич // Новые информационные технологии и системы : труды VIII МНТК. – М., 2008. – Ч. 1. – С. 81–98.
7. Мищенко, В. А. Теория эквивалентных преобразований алгоритмов в САПР СБИС / В. А. Мищенко. – Минск : Навука i тэхнiка, 1991. – 263 с.
8. Вашкевич, Н. П. Автоматный подход к формализации алгоритмов управления взаимодействующими параллельными процессами при обращении к общим переменным (общему ресурсу) для n-процессов / Н. П. Вашкевич // Вычислительные системы и технологии : межвуз. сб. науч. тр. – Вып. 1 (27). – Пенза : Изд-во Пенз. гос. ун-та, 2002. – С. 3–10.
9. Вашкевич, Н. П. Синтез цифровых управляющих автоматов на основе систем канонических уравнений : учебное пособие / Н. П. Вашкевич, В. Г. Пучков. – Пенза : Изд-во Пенз. политехн. ин-та, 1980. – 102 с.
10. Мотоока, Т. Компьютеры на СБИС : в 2-х кн. / Т. Мотоока, С. Толента, Х. Танака, Т. Сайто, Т. Уэхара. – М. : Мир, 1988. – Кн. 1. – 392 с.
11. Вашкевич, Н. П. Аппаратная реализация функций синхронизации параллельных процессов при обращении к разделяемому ресурсу на основе ПЛИС / Н. П. Вашкевич, Р. А. Бикташев, Е. И. Гурин // Известия высших учебных заведений. Поволжский регион. Технические науки. – 2007. – № 2. –         С. 3–12.

 

Дата создания: 26.07.2013 14:48
Дата обновления: 26.07.2013 14:48